﻿body {
	font-family: Trebuchet MS,Verdana,Arial,sans-serif; 
	background-color: #c0c0c0;
	padding: 0;
	margin: 0;
}

#site {
	margin: 0 auto;
	width: 1000px;
	background-color: #fff;
	border: solid 2px #000;
	padding: 10px;
}

#header {
	padding-bottom: 12px;
}
#header h1 {
	font-size: 0.9em;
	font-weight: normal;
	margin: 0;
}
#header h1 a:link, #header h1 a:visited {
	text-decoration: none;
	color: #00f;
}
#header h1 a:hover {
	text-decoration: underline;
	color: #bbf;
}
#header h1 a:active {
	color: #f00;
}
#header h2 {
	font-size: 1.3em;
	margin: 0;
}

#header .options {
	float: right;
}

#navigation {
	float: right;
	width: 250px;
}
#navigation a:link, #navigation a:visited {
	color: #00f;
}
#navigation a:hover {
	color: #bbf;
}
#navigation a:active {
	color: #f00;
}


#content {
	float: left;
	width: 725px;
}

#footer {
	clear: both;
	padding-top: 10px;
}
#footer p {
	font-size: 0.6em;
}


pre {
	max-height: 400px;
	max-width: 100%;
	overflow: auto;
	border: solid 1px black;
	padding: 6px;
}


.ui-widget { 
	font-size: 0.8em; 
}
.ui-widget input, .ui-widget select, .ui-widget textarea, .ui-widget button { 
	font-size: 0.8em; 
}

.ui-resizable-helper {
	border: 1px dotted gray;
}